update{-}spec{-}vars(${\it upd}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$p$.2of($p$);fpf{-}domain(${\it upd}$))